Synchronous-Reactive Models
نویسندگان
چکیده
This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit: http://creativecommons.org/licenses/by-sa/3.0/, or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA. Permissions beyond the scope of this license may be available at: http://ptolemy.org/books/Systems.
منابع مشابه
Representation and Analysis of Reactive Behaviors: A Synchronous Approach
Reactive systems involve communication, concurrency and preemption. Few models support these three concepts, even less can correctly deal with their coexistence. The synchronous paradigm allows a rigourous approach to this problem, crucial to reactive systems. This paper analyzes the underlying hypotheses of the synchronous approach. Reactive behaviors are characterized. A new visual model (SYN...
متن کاملThe Synchronous Approach to Reactive and Real-Time Systems
This special issue is devoted to the synchronous approach to reactive and real-time programming. This introductory paper presents and discusses the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on mathematical models. This makes it possible to handle compilation, logical correctness pr...
متن کاملVariations on the Semantics of Graphical Models for Reactive Systems
The goal of this paper is to study concepts underlying graphical instant-based models. They are useful for reactive system modeling. They should be formal models (mathematical semantics). Some are able to express in an unambiguous and concise way complex reactive behaviors. The expressiveness may be an impediment to the readability and the intuitive understanding. We analyze the influence of so...
متن کاملA Synchronous Approach to Reactive System Design
Reactive systems are systems that maintain permanent interactions with their environment. In this paper, we present our experience teaching discrete-event reactive systems to Electrical Engineering students. The course ranges from logic circuits to software components, and covers models, analysis, design of various systems (from logical systems to embedded systems). Since our students are not e...
متن کاملSession-Based Concurrency, Reactively
This paper concerns formal models for the analysis of communication-centric software systems that feature declarative and reactive behaviors. We focus on session-based concurrency, the interaction model induced by session types, which uses (variants of) the π-calculus as specification languages. While well-established, such process models are not expressive enough to specify declarative and rea...
متن کاملInstrumentation of Synchronous ReactiveModels for Performance Engineering ? Alberto
Synchronous Reactive Modelling provides an optimal framework for the modular decomposition of programs that engage in complex patterns of deterministic interaction, such as many real-time and communication entities. This paper presents an approach which includes performance modelling techniques in the Synchronous Reactive Modelling method supported by Esterel. It deenes a methodology based on t...
متن کامل